compact metric space is complete